1. A practical guide to adopting the Universal Verification Methodology (UVM)
پدیدآورنده: Sharon Rosenberg, Kathleen A. Meade.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programs -- Verification.,Computer software -- Verification.,Debugging in computer science.
رده :
QA76
.
76
.
V57
S537
2010
2. Advanced programming in web design
پدیدآورنده: Jain, Er.-V.K., Er.-V.k. Jain
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Internet )computer network(,، WEB )computer program languages(,، Software verification
رده :
TK
5104
.
2
.
W4J3
3. Advances in hardware design and verification: IFIP TC10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal, Canada
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer engineering-- Congresses,، Computer software-- Verification-- Congresses
رده :
TK
7874
.
75
.
I45
1997
4. Assurances for self-adaptive systems
پدیدآورنده: Javier Cámara...[et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Adaptive computing systems,Computer software-- Verification,Self-adaptive software
رده :
QA76
.
76
.
S375
A87
2013
5. Automatic verification of sequential infinite-state processes
پدیدآورنده: Burkart, Olaf
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer software -- Verification,، Software engineering
رده :
QA
76
.
L28
Vol
.
1354
6. Certified Programs and Proofs :
پدیدآورنده: edited by Chris Hawblitzel, Dale Miller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
رده :
QA76
.
9
.
M35
E358
2012
7. Co-verification of hardware and software for ARM SoC desig
پدیدآورنده: / by Jason R. Andrews
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Integrated circuits--Verification,Computer software--Verification,Systems on a chip.
رده :
TK
,
7874
,.
A595
,
2005eb
8. Co-verification of hardware and software for ARM SoC design
پدیدآورنده: Andrews, Jason R.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Integrated circuits- Verification,، Computer software- Verification,، Systems on a chip
رده :
TK
7874
.
A595
2005
9. Co-verification of hardware and software for ARM SoC design
پدیدآورنده: / by Jason R. Andrews
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Integrated circuits- Verification,Computer software- Verification,Systems on a chip
رده :
E-BOOK
10. Co-verification of hardware and software for ARM SoC design
پدیدآورنده: / by Jason R. Andrews
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Integrated circuits- Verification,Computer software- Verification,Systems on a chip
رده :
TK7874
.
A595
2005
11. Co-verification of hardware and software for ARM SoC design
پدیدآورنده: / by Jason R. Andrews
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Integrated circuits -- Verification,Computer software -- Verification,Systems on a chip
رده :
TK
7874
.
A595
12. Computer Aided Verification
پدیدآورنده: \ Daniel Kroening , Corina S. Păsăreanu (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer software -- Verification -- Congresses.,Logics and Meanings of Programs.,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47C6
2015
E-Book
,
13. Computer aided verification :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Verification ; Congresses. ;
14. Computer-aided verification
پدیدآورنده:
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computer software-Verification,Electronic digital computers - Evaluation
رده :
QA
76
.
76
.
E93C65
1992
15. Computer-aided verification
پدیدآورنده: edited by Robert Kurshan
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer software - Verification , Electronic digital computers - Evaluation
رده :
QA
76
.
76
.
E93
C65
1993
16. Computer aided verification
پدیدآورنده: / Pierre Wolper (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software- Verification- Congresses,Electronic digital computers- Evaluation- Congresses
رده :
QA76
.
76
.
C47
,
C38
1995
17. Computer aided verification :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Verification ; Congresses. ;
18. Computer aided verification :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Verification ; Congresses. ;
19. Computer aided verification :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Verification ; Congresses. ;
20. Computer aided verification
پدیدآورنده: P. Madhusudan, Sanjit A. Seshia (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Verification, Congresses
رده :
QA76
.
76
.
V47
C38
2012eb
